Wyniki
-
Dual spaces for topological Boolean algebras
R. Quackenbush, R. Suszko
Bulletin of the Section of Logic , 3 /1 (1974) s. 16-18 -
A Note the Logical Dependence of Simple Quantifiers
R. Zuber
Bulletin of the Section of Logic , 23 /4 (1994) s. 168-172 -
On negatively restricting Boolean algebras
R. Zuber
Bulletin of the Section of Logic , 26 /1 (1997) s. 50-54 -
A proof-theoretic analysis of da Costa's C*
Andres R. Raggio
Bulletin of the Section of Logic , 7 /2 (1978) s. 95 -
Some modofications of the Godel translation of classical logic into intuitionistic logic
Branislav R. Boricic
Bulletin of the Section of Logic , 19 /3 (1990) s. 84-86 -
Interpolation theorem for intuitionistic S4
Branislav R. Boricic
Bulletin of the Section of Logic , 20 /1 (1991) s. 2-6 -
Slaney's Logic F** is Constructive Logic with Strong Negation
M. Spinks, R. Veroff
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 161-174 -
PC-lattices: A Class of Bounded BCK-algebras
Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar
Bulletin of the Section of Logic , 47 /1 (2018) s. 33-44 -
The logic of algebraic rules as a generalization of equational logic
Tomasz Furmanowski
Bulletin of the Section of Logic , 11 /1-2 (1982) s. 6-12 -
On complete bundless of locally valid identities
Tomasz Furmanowski
Bulletin of the Section of Logic , 13 /4 (1984) s. 202-206 -
Remarks on discussive propositional calculus
Tomasz Furmanowski
Bulletin of the Section of Logic , 4 /1 (1975) s. 33-36 -
A Perzanowski's hypothesis confirmed
Tomasz Kowalski
Bulletin of the Section of Logic , 25 /1 (1996) s. 58-59 -
Partially-elementary extension Kripke models and Burr's hierarchy
Tomasz Połacik
Bulletin of the Section of Logic , 28 /4 (1999) s. 207-214 -
A remark on quasivarieties of modal algebras
Tomasz Kowalski
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 27-30 -
A complete syntactical characterization of the intuitionistic logic
Tomasz Skura
Bulletin of the Section of Logic , 18 /3 (1989) s. 116-120 -
On pure refutation formulations of sentential logics
Tomasz Skura
Bulletin of the Section of Logic , 19 /3 (1990) s. 102-107 -
Refutation rules for three modal logics
Tomasz Skura
Bulletin of the Section of Logic , 21 /1 (1992) s. 31-32 -
Propositional dynamic logic has interpolation
Tomasz Kowalski
Bulletin of the Section of Logic , 30 /1 (2001) s. 33-39